top_command (cmd_load currentFile [])
goal_command 0 (cmd_helper_function Normalised) "id'"
goal_command 1 (cmd_helper_function Normalised) "g A a"
goal_command 2 (cmd_helper_function AsIs) "id₂′ x"
